-
1 program correctness
program doğruluğu -
2 program correctness
program doğruluğu -
3 program correctness
• správnost programu -
4 program correctness
правильность [работы] программысм. тж. verificationАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > program correctness
-
5 program correctness
The English-Russian dictionary on reliability and quality control > program correctness
-
6 program correctness proof
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > program correctness proof
-
7 program correctness prover
Большой англо-русский и русско-английский словарь > program correctness prover
-
8 program correctness proof
Вычислительная техника: доказательство правильности программыУниверсальный англо-русский словарь > program correctness proof
-
9 program correctness prover
English-Russian dictionary of computer science and programming > program correctness prover
-
10 program correctness proof
• dokaz korektnosti programa -
11 program correctness proof
English-Russian information technology > program correctness proof
-
12 correctness
корректность, правильностьнапример, correctness proof - доказательство правильностисм. тж. program correctnessАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > correctness
-
13 prover
-
14 prover
English-Russian dictionary of computer science and programming > prover
-
15 verification
1) верификация, контроль, проверкасм. тж. data verificationб) в САПР электроники - проверка правильности электрических соединений принципиальной электрической схемы или соблюдения технологических норм изготовления печатных плат2) верификацияб) в программной инженерии - процесс оценки системы и/или её компонентов с целью установить, соответствуют ли в конце данного этапа разработки эти продукты спецификациям и условиям, налагаемым в его начале. Верификация не обнаружит ошибку, если входная спецификация была неверна, и эта ошибка может распространиться на дальнейшие этапы разработкиАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > verification
-
16 test
To check program correctness by trying out various sequences and input values. -
17 PC
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
18 Pc
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
19 pC
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
20 pc
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards
- 1
- 2
См. также в других словарях:
Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… … Wikipedia
Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
Political correctness — Politically incorrect redirects here. For other uses, see Politically incorrect (disambiguation). Political correctness (adjectivally, politically correct; both forms commonly abbreviated to PC) is a term which denotes language, ideas, policies,… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… … Wikipedia
Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… … Wikipedia